What did the operating margin for hard disk drive producers expand to in 2013?