Paper converted to LaTeX.