Modelling of cavern convergence and brine permeation after plug & abandonment of deep salt caverns