Numerical modelling of the displacement and deformation of embedded rock bodies during salt tectonics