Modeling and Solving for Constraint Satisfaction Problems of Online English Learning