Patching a tire