Modelling Calculi with Name Mobility using Graphs with Equivalences