Hard-drive maker Seagate’s revenue slips 3.1 percent