Collaborations between John Savage and Harvey Schmidt