Quais são as horas de formação que podem ser utilizadas pelos docentes em situação de progressão graças à RITS?