Yes, the Vikings should have gone for it on 4th down, and a New York Times robot knows why