minor corrections and definitions added