A practitioner's guide to mortality pooled investments