Added theory introduction, conclusion, minor fixes