rock quarry and mining industry article