The role of halogens in terrestrial and extraterrestrial geochemical processes. Surface, crust and mantle