methods of contemporary gauge theory