[diversity] Numbers on diversity & gender ratio in "tech" companies & company leadership in general