How the Higgs boson was discovered