Final version of Introduction and Related Work.