Quantitative Modelling for Biological Systems