The Vendi Score: A Diversity Evaluation Metric for Machine Learning