Modelling and optimising cache algorithms