White House to overhaul $42.5B internet plan – likely to Elon Musk's advantage