Pluripotent stem cell-based models of spinal muscular atrophy