Amortized Variational Inference with Coverage Guarantees