Genomics of Ammonica-Oxidizing Bacteria and Insights into Their Evolution