MathClean: A Benchmark for Synthetic Mathematical Data Cleaning