A bunch of stuff updated, especially the survey