Holography and the electroweak phase transition