What Linus Torvalds and Bill Gates talked about in their first meeting