Riemann Stieltjes integral, refinement, properties of integral