Bernardino Ramazzini (1633-1714): an often forgotten pioneer in maritime health