Updated paper with TeX formatting.