mill mining theory