Self-Stabilizing Local Mutual Exclusion and Daemon Refinement