Opimal importance sampling for some quadratic forms of ARMA processes