Infrasound from convective storms. III. Propagation to the ionosphere