A mixed integer programming formulation for the total flow time single machine robust scheduling problem with interval data