Valid inequalities and extended formulations for lot-sizing and scheduling problem with sequence-dependent setups