how do gravel crushers work