Freedom, causation, and counterfactuals