Updated introduction, added to future work, corrected a few typos.