Hierarchical embedding for DAG reachability queries