Semi-Supervised AUC Optimization Without Guessing Labels of Unlabeled Data