已建立的唐氏综合症的转基因动物模型是通过什么方法得到的，其转移基因是什么？