Yang-Mills theory