Highly efficient differentiation of human ES cells and iPS cells into mature pancreatic insulin-producing cells