what are ore mills