Tommy John, Pitcher Who Gave His Name to Career-Saving Surgery, Dies at 83