Gravar-mail: John Haygarth’s 18th-century ‘rules of prevention’ for eradicating smallpox