Quadratic forms in normal RVs: theory and applications to OSTBC over hoyt fading channels