Terrazzo floor polishing