Mathematical modeling the dynamics of SARS-CoV-2 infection with antibody-dependent enhancement