Ammonia-oxidizing archaea use the most energy-efficient aerobic pathway for CO2 fixation