π covalency in the halogen bond