This article has been updated to include more comments and background.