what machines are used for sand mining