Phase model reduction and synchronization of periodically forced nonlinear oscillators