An error probability formula for noncoherent orthogonal binary FSK with dual diversity on correlated Rician channels