Non-Abelian Gauge Symmetry and the Higgs Mechanism in F-Theory