The status of modeling software for salt cavern leaching, identification of some unsolved problems and investigation of few of their aspects