Structures of Pup ligase PafA and depupylase Dop from the prokaryotic ubiquitin-like modification pathway