Club-guessing, stationary reflection, and coloring theorems