Glashow-Weinberg-Salam theory