Distinguishing graphs by total colourings