Os diferentes graus de autonomia das escolas: os concelhos executivos e a organização do tempo não lectivo dos professores