The existence of time optimal control of semilinear parabolic equations