IDC: Global Production-Printer Market up 5.2 Percent in Fourth-Quarter 2015