Safety geology and geological education for mining engineers