Twitter loses $5B, shares down 12% since Trump ban