设计一个存储过程,用于计算两个地理坐标之间的距离,以提高数据库查询效率。该存储过程利用MySQL的地理信息功能,精确计算任意两点之间的距离,适用于地图应用和位置基础设施管理。