operation and hot repair of coke oven linings