Anaerobic oxidation of methane coupled to denitrification: fundamentals, challenges, and potential