Version submitted to the arXiv.