Environmental Geo-information Technologies as a Tool of Pre-service Mining Engineer's Training for Sustainable Development of Mining Industry.