Wis. boy, 17, is fastest texter in US