Lack of functional redundancy in the relationship between microbial diversity and ecosystem functioning