A new generation of music software is shrinking musical theatre orchestras