Chief Executive Whitman is leaving HP