pgsql/contrib/earthdistance/sql