Optimal Design of Uptime-Guarantee Contracts