Girls’ Generation’s Seohyun to Star in Korean Production of the Musical ‘Mamma Mia!’