Gas boru diametri