Post-selection Inference for Conformal Prediction: Trading off Coverage for Precision