Data-mining firm Palantir files for stealth public offering