ProDAG: Projection-induced variational inference for directed acyclic graphs