Microbial life under ice: Metagenome diversity and in situ activity of Verrucomicrobia in seasonally iceā€covered lakes