Gravar-mail: An early 18th-century proposal for improving medicine by tabulating and analysing practice