Pre-Overload-Graph-Based Vulnerable Correlation Identification under Load Redistribution Attacks