BÄCKLUND TRANSFORMATIONS AND LAX PAIRS FOR THE NONLINEAR KLEIN–GORDON EQUATION WITH SYMBOLIC COMPUTATION