AdS5 × S5 mirror TBA equations from Y-system and discontinuity relations