skill for geotechnical engineer in coal mining