Mining the metrics of board diversity