Biology and redescription of Theridion bergi Levi, 1963 (Araneae, Theridiidae) a semiaquatic spider from Brazilian caves