Ding! Ding! San Francisco’s cable cars are running again