Herbivory enhances the diversity of primary producers in pond ecosystems