Moved motivation to introduction. Typos.