Modeling COVID-19 infection dynamics and mitigation strategies for in-person K-6 instruction