History-Dependent Automata: An Introduction