Getting Started with Dafny: A Guide