Mixed logic dynamic models for MPC control of wind farm hydrogen-based storage systems