Crystal structure of depupylase Dop in complex with Pup and ADP/tetrafluoromagnesate