Magnetic Transitions in Iron Porphyrin Halides by Inelastic Neutron Scattering and Ab Initio Studies of Zero-Field Splittings