Random Edge Coding: One-Shot Bits-Back Coding of Large Labeled Graphs