Are William S. Hart and Valie Export both video artists?