Practical Python AI Projects: Mathematical Models of Optimization Problems with Google OR-Tools