what does a mining mill do in gold mining