The roofing dilemma: Deciding when to repair and when to replace