hydraulic mining definition for kids