Mathematical Analysis of the Global Properties of an SVEIR Epidemic Model