Как принципы Лисков связаны с концепцией полиморфизма в объектно-ориентированном программировании?