Trait-Based Model Reproduces Patterns of Population Structure and Diversity of Methane Oxidizing Bacteria in a Stratified Lake