A correction to this article has been published and is linked from the HTML version of this paper. The error has not been fixed in the paper.