Shrink tubing made of fluoroplastics: types and properties