Minimal model for double diffusion and its application to Kivu, Nyos, and Powell Lake