Editorial: This season, robots are coming for baseball