A modelling approach for the dynamic scheduling problem of manufacturing systems with non negligible setup times and finite buffers