principles of open pit mining