Discovery of the Higgs boson