Discharge reaction mechanisms in Na/FeS2 batteries: First-principles calculations