Modeling disease in human ESCs using an efficient BAC-based homologous recombination system.