GeoMesa Jupyter Leaflet Extensions 3.5.2 API