Fox: Tyron Smith, cornerstone of dominant Dallas OL, officially retires with Cowboys