Sobolev functions on closed subsets of the real line: long version - Pavel Shvartsman (2018)