Computational issues in internal models: the case of profit-sharing life insurance policies