Field investigation and full-scale model testing of mud pumping and its effect on the dynamic properties of the slab track–subgrade interface