Eighty years of the Diego Rivera murals at the Detroit Institute of Arts