Extremal ergodic measures and the finiteness property of matrix semigroups