types of loading machine used in open pit mining