Progression-free sets in $\mathbb Z_4^n$ are exponentially small