Further additions and improvements to the final paper.