Modelling the migration of ice stream margins