Anaerobic methane oxidation coupled to denitrification is the dominant methane sink in a deep lake