Statistics of Computer-generated log files and their potential for educational large-scale assessments. The example of PISA 2012 problem solving data