Transgenic mouse models for investigating human DUX4 expression during development and its roles in FSHD pathophysiology | Synapse