papers.md: improve and capitalize titles
papers.md: replace numbered lists with bulleted lists

Sequential numbers used were misleading. Markdown renumbered anyway and
many lists had just one item.
papers.md: add several talks and papers on industrial uses

Closes #311.