垂直度问题在矿山开采工程中的挑战