Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs