Modifications, essentially a first arxiv draft.