B. K. Waltke's scientific contributions