“Proper” Binormal ROC Curves: Theory and Maximum-Likelihood Estimation