The startup uses AI to automate tedious paperwork for insurance agencies and brokers.