Does Industry Gender Composition Influence CEO Compensation?