Formula allocation as a policy tool: politics and measurement | Synapse