Estimating photosynthetic activity in microbial mats in an ice-covered Antarctic lake using automated oxygen microelectode profiling and variable chlorophyll fluorescence