Energetics and thermodynamics of α-iron from first-principles and machine-learning potentials