Verification of a Computer Simulation based on the Pulse Propagation Characteristics for Detection of Water Trees in Power Cables