4,000 Salesforce customer service jobs cut due to artificial intelligence, CEO Marc Benioff says