The MongoDB extension for geospatial databases