Transgenic mouse models for myotonic dystrophy type 1 (DM1)