Review of Off-Diagonal Long-Range Order and High-Temperature Superconductivity from Repulsive Electronic Correlations