Definite integral involving natural log