These Tech Companies Are Leading the Change Needed for Closing the Gender Gap