Type 1 diabetes patient decision simulator for in silico testing safety and effectiveness of insulin treatments