How much has the war in afghanistan cost uk