Formation control of large-scale mobile sensor networks based on semilinear parabolic system