A Course on Deterministic Distributed Algorithms