A Systematic Approach to BGP Configuration Checking