Lining of concrete pools