average size gravel at rock quarry