South Korea cleared to buy $5B worth of F-35s