Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically