This is a revised version of a talk I first gave in 2015.

Slides