A Dual Terminal set MPC formulation for control of linear switched systems