Rigorous derivation of active plate models for thin sheets of nematic elastomers. (October 2020)