Ex-diretor da Petrobras, Cerveró é condenado a cinco anos de prisão