definitions definitions of mine to mill