What Numbers Can—And Can’t—Tell Us About Gender In Tech