CALSL-NICD(L) Transgene Tg(Actb-NOTCH1)2Shn http://identifiers.org/mgd/MGI:3044589 transgene O transgene insertion 2, Jie Shen MGI:3044589