Mathematical Models in Biological Discovery