UK deploying 1,200 extra Olympics troops