How Do We Know that Cholesterol Causes Heart Disease?