Discrete time model for two-machine one-buffer transfer lines with restart policy