how long has aladdin been on broadway