How is dihydrogen oxidized by dihalogen to give a hydrogen halide?