Tommy John, the Pitcher Who Changed Baseball Economics, Dies at 83