Можете объяснить концепцию полиморфизма и его роль в объектно-ориентированном программировании?