Halogen diffusion in magmatic systems: Our current state of knowledge