Coverage path planning for GeoJSON polygons — boustrophedon, Hilbert, spiral, concentric rings, and multi-agent division strategies