Rigorous derivation of active plate models for thin sheets of nematic elastomers