types of machine used in open pit mining