A temporal extension to GeoJSON