raymond mill definition