Trait-based representation of biological nitrification: model development, testing, and predicted community composition