Personal data of nearly 4,000 people leaked in hack of Radio Free Asia