mining operation and maintenance manual