Coded Shotgun Sequencing