cast of aladdin on broadway