Nasdaq ends higher after Twitter agrees to be bought by Musk