Election Coding for Distributed Learning: Protecting SignSGD against Byzantine Attacks (Supplementary Materials)