Contracting for system availability with zero ownership cost via redundancy, maintenance and repairable inventory