qur tipo de molino se usa para la mineria