chapter 2 (PMU Placement): added full length proofs

full length proofs for the 4 PMU Placement Problems + additional proofs in the appendix for the case of graphs with only zero-injection