Theoretical investigation of phase transition on GaAs(0 0 1)-c(4 × 4) surface