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