Fracture Closure Empirical Model and Theoretical Damage Model of Rock under Compression