Efficient Estimation and Evaluation of Prediction Rules in Semi-Supervised Settings under Stratified Sampling