Lind D. An Introduction to Symbolic Dynamics and Coding 2ed 2021