hand milling used in mining