The US tech sector’s bare-knuckle immigration lobby loses Elon Musk