what are the machines used for silica sand mining