Which musical should NBC produce next?