We've produced a full Technical Report on the work we've done to date, and we invite you to have a look. It includes all the material we've produced in the course of the study. It's quite large, so we've broken it up into chapters for this web version.