Improving mathematical reasoning with process supervision