In late 1994, Marvel acquired the comic book distributor Heroes World Distribution to use as its own exclusive distributor. When did Diamond Comic Distributors part ways with Marvel?