machines used for mining uranium