Crypto-friendly Mike Johnson successfully re-elected as Speaker of the U.S. House of Representatives