Basic theory of RAID disk array