what is the broadway musical pippin about