A few minor typographical errors have been silently corrected.