Global class field theory