Painting rendered buildings: when to repair, when to repaint and what it costs