Model for Hypoxic Pulmonary Vasoconstriction Involving Mitochondrial Oxygen Sensing