HP Chief Operating Officer Jon Flaxman dies