Phaser 6500, Colour Printers: Xerox