Multi-threaded data mining of EDGAR CIKs (Central Index Keys) from ticker symbols