Schools' pandemic spending boosted tech companies. Did it help US students?