Quantitative Arithmetic of Projective Varieties