На какую величину внутренний диаметр футляра должен превышать диаметр газопровода при прокладке через стены зданий?