The paper published after this talk is at: http://arxiv.org/abs/1307.0045.