This article has been superseded by this one.