A difusão da técnica actuarial e as primeiras companhias de seguros no Porto (século XIX)