Construction of Lyapunov Functions for Nonlinear Systems Using Normal Forms