Reductive functionalization of CO2 with amines: an entry to formamide, formamidine and methylamine derivatives