Propagation of very long water waves, with vorticity, over variable depth, with applications to tsunamis