Last revision: adjusted minor text problems, added a couple more references