Text this: Optimal dynamic coding by mixed-dimensionality neurons in the head-direction system of bats