MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical Code