An interview with Michael Mayes of Kentucky Opera's Carmen [Music]