Systematic construction of a conceptual minimal model of plasma cholesterol levels based on knockout mouse phenotypes