DMPlex: Compute facet numbering only once (WIP)