Exploiting Modularity To Scale Verification Of Network Router Configurations