A model of the friction of a smooth hard surface sliding over a softer one