Thousands of North Korean IT workers infiltrate US firms