Auto-Enrollment & Auto-Escalation: A Case Study in Thoughtful Plan Design