Incorporation of PMUs in power system state estimation