Formatting changes to write-up.