GMES4Mining: GMES-based Geoservices for Mining to Support Prospection and Exploration and the Integrated Monitoring for Environmental Protection and Operational Security