Updated write-up.