Back-Door Adjustment Formula for Discrete Causal Models