What's the difference between using doc vs. HTML as a document format? Why did Microsoft not use HTML instead of inventing doc format?