OpenMathInstruct-1: A1.8 Million Math Instruction Tuning Dataset