Modeling within-host SARS-CoV-2 infection dynamics and potential treatments