Faithful Logical Reasoning via Symbolic Chain-of-Thought