An O(n2) Self-Stabilizing Algorithm for Minimal Total Dominating Set in Arbitrary Graphs