editing mysql haversine