[petsc-users] How to find the map between the high order coordinates of DMPlex and vertex numbering?