what is the difference between a mine and a quarry