The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine