I gave this talk at the Dagstuhl Seminar 16101 (http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=16101)