This is an extended version of my thesis. It has appeared as CWI tract 44 and is for sale with:
Centre for Mathematics and Computer Science (CWI) P.O. Box 94079 1090 GB AB Amsterdam Netherlands