This article has been edited since it was first published. Among other things, it was pointed out that some terminology had been used incorrectly; the full details of these changes are available here.