PAP - 2021 - Rueden - Informed Machine Learning - A Taxonomy and Survey of integrating prior knowledge.pdf