A stochastic approach to LCA of internal insulation solutions for historic buildings