Short-distance analysis of D0–¯¯¯D0 mixing