Clarified introduction, and some minor formatting.