Palantir and London mayor’s office settle lawsuit over UK police contract