How to make a user-defined class suitable for use as a dictionary key?