CP013: Introduce new properties and examples to affinity paper

[AerialMantis]

Changes

• Replace current motivational example with two new examples: one showing migration of a pre-allocated container to gain affinity, and one showing using the bulk_execution_affinity property to bind allocation and execution locality.
• Introduce the concurrency_t property, reflecting that which was previously available via the execution_context.
• Introduce the execution_locality_intersection_t property which returns the maximum concurrency common to two executors.
• Introduce the memory_locality_intersection_t property which returns true if two executors have a common address space.
• Remove sections of background research not relative to high-level interface.
• Add examples for each of the new properties.
• Update future work section to be more relative to the high-level interface.
• Make some other minor editorial fixes.

[AerialMantis]

@mhoemmen thanks very much for the feedback!

[AerialMantis]

I have finished making changes, I will leave the PR open for a bit longer in case there's any further feedback, then I'll merge it and submit this for the Kona mailing tomorrow.