Что стало с бойцами штрафбатов после окончания войны?