SUBDIVISION ON ARBITRARY MESHES: ALGORITHMS AND THEORY