Advantages of Using Automatic Formative Assessment for Learning Mathematics