How smart contracts can enhance CDC and tontine pensions