how to grind terrazzo floor with diamond grinding tools