Arch Resources, Consol Energy to merge in $5.2 billion deal