Finished writeup, tidied up, cover page, PDF