A novel MILP formulation for optimal placement of phasor measurement units with comprehensive modeling of zero-injection buses and practical constraints | Synapse