how much is a mining machine