Leader Election, Leases, and Fencing Tokens