Cerkniško jezero in njegove poplave