A constrained optimization approach to dynamic state estimation for power systems including PMU measurements