In vivo evaluation of PhiC31 recombinase activity in transgenic mice