Gaussian effective potential for the standard model SU(2)×U(1) electroweak theory