Mike Johnson re-elected House speaker as GOP mutiny threat dissolves