Ownership Separation of the Gas Transportation Network: Theory and Practice