Polishing of concrete before and after grinding