Manual for the systematic risk assessment of high-risk structures against disproportionate collapse (Institution of Structural Engineers, 2013)