Modelling the Iono-Acoustic Wave Field for Proton Beam Range Verification