pgsql/contrib/earthdistance