Large-scale distributed state estimation: theory, methodology and algorithm