Aggregate properties of GeoJSON polygons, grouped by another set of polygons - View it on GitHub