Колко tech хора всъщност работят в България?