Kinematics modeling and forming process simulation for bending machine