Error estimates of variational discretization and mixed finite element methods for semilinear parabolic optimal control problems