how is quarry dust produced