Initial polishing of the paper.
No changes to the technical content.