In vitro derivation of functional insulin-producing cells from human embryonic stem cells