Lyapunov Functions and Global Properties of SEIR Epidemic Model