use of a mining mill in limestone extraction