Measuring FTSE 100 Carbon Value-at-Risk (Executive summary)