A Leaflet plugin to turn GeoJSON layer loading faster through Web Workers