Beyond Mechanisms: High-level Descriptions as Components of Mathematical Models in Biology