meaning of mines and quarries