Valid inequalities for time-indexed formulations of the runway scheduling problem