Efficiently Checking Actual Causality with SAT Solving