Grinding or polishing machines