Foundations of Riemannian Geometry for Riemannian Optimization: A Monograph with Detailed Derivations