how long is pippin the musical on broadway