ore mill and mine mill