Electroweak symmetry breaking and extra dimensions