The Benezit Dictionary of Artists, a foundational tool for the study of art history