Defect formation in chemically reduced congruent LiTaO3: ab initio simulations and inelastic neutron scattering