what is needed for gravel sand mining