Binary hidden Markov models and varieties