Reducing the processing time of the actuarial projections of the Brazilian Armed Forces: an approach using parallel computing