Numbers, activities, and diversity of autotrophic ammonia-oxidizing bacteria in a freshwater, eutrophic lake sediment