Ineliminable idealizations, phase transitions, and irreversibility