Modelling perspectives on microbial methane oxidation in stratified lakes