Introduce subnets

[oggy-dfin]

Since the introduction of composite queries, the behavioral specification of the interface depends on subnets (canisters can't issue composite queries to canisters on different subnets). So far we have tried to keep the existence of subnets under the wraps, but this no longer seems tenable. Let's introduce subnets properly in the text to the extent needed.