PETROS—a data bank of major-element chemical analyses of igneous rocks for research and teaching