Global Stability of a SVEIR Epidemic Model: Application to Poliomyelitis Transmission Dynamics