Serious Games and Artificial Intelligence for the detection of mathematical difficulties at school