An overview of Docker images for geospatial applications