Empirical Likelihood and Quantile Methods for Time Series: Efficiency, Robustness, Optimality, and Prediction