dry mill vs wet mill in mining