Talk given at Scalae By The Bay 2016. Slides available on SpeakerDeck.