The Mathematical Structure of Integrated Information Theory