Added derivation of Girsanov's theorem.