what is the meaning of stone quarry