Describir: A Calculus of Regions Respecting Both Measure and Topology.