Why buying Krux, but not Twitter, makes sense for Salesforce