how long is aladdin musical