what machine do gravel pits use to wash rocks