Uncertainty quantification in high-dimensional models and post-selection procedures