Efficient integration of transmembrane domains depends on the folding properties of the upstream sequences