Dynamic graph connectivity