DC.p4: programming the forwarding plane of a data-center switch