When Does It Make Sense to Patch Concrete Instead of Repaving?