Tools for exporting US Department of the Census TIGER shapefiles into GeoJSON and other formats