Brittle rock fracture and progressive damage in uniaxial compression