A non-perturbative analysis of the finite-T phase transition in SU (2) × U (1) electroweak theory