Polishing: abstract added, Intro links to sections