Towards a formal model of Type 1 diabetes for Artificial Intelligence