A mathematical model of immunohistochemical preparations, which provides quantitative predictions