IDC: PC market to see double-digit growth