Modeling the ionospheric propagation of acoustic gravity waves from the Tohoku tsunami of 2011