HP CEO Whitman’s Compensation Down 13 Percent in 2015 to $17.1 Million