Crack propagation in rock specimen under compressive loading using extended finite element method