Constructing progress maps of digital technology for diagnosing mathematical proficiency.