Kenny Choi reports on a San Francisco startup that is developing an AI tool to navigate the bureaucracy of the immigration system.