Linking descriptive geology and quantitative machine learning through an ontology of lithological concepts