Modeling for a human disease by gene targeting in human embryonic stem cells