An efficient system for conditional gene expression in embryonic stem cells and in their in vitro and in vivo differentiated derivatives