Einstein-Yang-Mills theory