What is the average time to read or write a 512-byte sector for a typical disk? The advertised average seek time is 4 ms, the transfer rate is 100 MB/ sec, it rotates at 15000 RPM, and the controller overhead is 0.8 ms. Assume the disk is idle so that there is no queuing delay