Modelling calculi with name mobility using graphs with equivalences