what is quarry mining pdf