Theory of oscillatory oxidation of carbon monoxide over platinum