Elon Musk makes a libertarian argument for carbon tax