Linux raid mdadm mean of “Used dev size”