process for repairing refractory linings