Можете объяснить основной смысл принципа Барбары Лисков, касающегося подстановки в объектно-ориентированном программировании?