Mathematical predictions of oxygen availability in micro- and macro-encapsulated human and porcine pancreatic islets.