​Will lines at the DMV soon move faster? Artificial intelligence looks to make all of government more efficient. But agencies face some tough choices.