Brout-Englert-Higgs mechanism