Theoretical and Experimental Derivation of Partial Discharge Height Distrubution Models