Power System Observability: Optimal Allocation of Phasor Measurement Unit