Automatic Generation of Problems in Web-Based Tutors