mini mill definition