DFT‐Based Coverage‐Dependent Model of Pt‐Catalyzed NO Oxidation