Notes on setting up and running a community interest company