thickness of gas pipes