Sobolev trace inequality on manifolds with non-negative Ricci curvature and convex boundary | Synapse