A lubrication model between the soft porous brush and rigid flat substrate for post-CMP cleaning