Modeling of Electrical Tree Propagation in the Presence of Voids in Epoxy Resin