Revised, more compact intro, and new refs.