Principal agent mean field games in REC markets