A frequency-domain HCF criterion for biaxial random loading