Understanding State Machines, Part 1: What Are They?