Halogen etching of group 13–15 (3–5) semiconductors and its relevance to chemical–mechanical polishing. The reactions of dibromine, dichlorine and sodium hypochlorite with gallium arsenide and related materials