Controversial AI data giant Palantir Technologies recently moved its headquarters to Miami from Denver. Here's how it's helping the U.S. military.