Making the Case for Using AI to Automate Insurance Policy Checking