To help replace the CAC card, Pentagon enlists AI startup