ストレージ資源を仮想化することによって、利用者には希望する磁気ディスク容量を割り当てたように見せているが、実際には使用している容量だけを割り当てることによって、ストレージ資源を有効活用しているものはどれか。