Горный мастер подземный, ведущий горный инженер