Functional diversity of microbial communities: A quantitative approach