A Framework for Bilevel Optimization on Riemannian Manifolds