Rewrote Section 3.1, added 2 references, extended Introduction