How much is a mining machine run for these days ?