Extremality of translation-invariant phases for a finite-state SOS-model on the binary tree