Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms