Contura Energy changing name to Alpha Metallurgical Resources on Feb. 1