Modelling predation: Theoretical criteria and empirical evaluation of functional form equations for predator-prey systems