how long is aladdin the musical on broadway