Объясните смысл и применение принципа подстановки Лисков в объектно-ориентированном программировании.