Age-specific social mixing of school-aged children in a US setting using proximity detecting sensors and contact surveys