Deterministic Models of Software Aging and Optimal Rejuvenation Schedules