A Laguerre spectral method for quadratic optimal control of nonlinear systems in a semi-infinite interval. (2nd July 2020)