On the Role of Phasor Measurement Units for Distribution System State Estimation