Point-Free Geometries: Proximities and Quasi-Metrics