Replaced \otimes_{\EE} with \otimes. Other minor changes.