Mics will have mute buttons for next U.S. presidential debate