Correctness and Envelope Monotonicity of Adaptive Rejection Sampling for Log-Concave Densities