Tools and techniques for geospatial web development