Approximations and limit theory for quadratic forms of linear processes