David Anton: aviation doctor who investigated air crashes and became the first occupational physician with the RNLI