North Korean programmers used a hosted laptop to freelance online, says FBI