GMES-basierte Geoservices für den Bergbau zur Unterstützung von Exploration und Erkundung sowie des integrierten Monitorings für Umweltschutz und Betriebssicherheit