Embryonic stem cells and mice