Moved some stuff to the appendix, edited for length and made some minor tweaks.