how long is aladdin the musical