The auction of King William’s paintings (1713). Elite International Art Trade at the End of the Dutch Golden Age