Installing air filters in classrooms has surprisingly large educational benefits (2020)