jasmine in aladdin the musical