What was the average operating margin for hard disk drive producers in 2004?