Solving Linear Inverse Problems Provably via Posterior Sampling with Latent Diffusion Models