Vinci: took over the operation of Manaus airport