Glu4Pred: A computational tool for design and testing of insulin therapies for patients with type 1 diabetes based on interval simulation