Game devs explain the tricks involved with letting you pause a game