A mathematical model for chemical–mechanical polishing based on formation and removal of weakly bonded molecular species