Robin Milner's Work on Concurrency: An Appreciation