[CentOS-mirror] Recommended disk space for a full CentOS mirror?