How much disk space would be left on five 20GB hard drives configured as a RAID-5