Stochastic optimal control problem of consumption and pension insurance with uncertain lifetime and its application to real-life data | Synapse