Minor corrections, final version.