Global class field theory of arithmetic schemes