A Generalization of the Blahut-Arimoto Algorithm to Finite-State Channels