large rotating machines used for mining