equipment used in operating gravel pit