Business description of Integrated-Rail-and-Resources-Acquisition-Corp from last 10-k form