Text this: Large-scale internet user behavior analysis of a nationwide K-12 education network based on DNS queries