Automatic analysis of attack graphs for risk mitigation and prioritization on large-scale and complex networks in Industry 4.0