That 12-year-old playing “Call of Duty” might actually be gaming for school