Optimal placement of Phasor Measurement Unit considering System Observability Redundancy Index: case study of the Kenya power transmission network | JoVE Visualize