HP Inc. Appoints Batra as Chief Marketing Officer