Optimal MaintenancePolicy for High Reliability Load-Sharing Computer Systems with k-out-of-n:GRedundant Structure