geos python3 Shapely jdk geogig geojson py4j