David A. Porter's scientific contributions