A set of geospatial tools for HOT Tasking Manager