Building a Reliable Job Scheduler: Leases, Idempotency, and Timezone-Aware Cron