Area-Preserving Subdivision Simplification with Topology Constraints: Exactly and in Practice