what equipment is used for mining copper