To keep or not to tender? What the Pirates should do with Henry Davis and other arbitration-eligible players