Formal analysis of an agent-based optimisation strategy for Data Grids