математическая обработка маркшейдерско-геодезических измерений, учебник