Warrior Met Coal mines quarterly record of met coal