PostGIS spatial database extension to PostgreSQL