updated introduction, abstract, some minor fixes elswhere