How much has Britain spent on military interventions in two decades?