Tools for building GeoJSON tiles from data in a PostGIS database