Seol mar théacs é seo: A theory of pad conditioning for chemical-mechanical polishing