Formal psychological assessment for autism spectrum disorder diagnosis: A new methodology to build an adaptive testing system