difference between mill and mining mill