Dataset pipeline: automatically retrieving historical SEC filings (10-K, 20-F) using the SEC JSON API