Mathematical modeling and analysis of the SARS-Cov-2 disease with reinfection