These are the bots powering Jeff Bezos’ Washington Post efforts to build a modern digital newspaper