A predictive computational platform for optimizing the design of bioartificial pancreas devices