Low-carbon design of leafy vegetable production system based on life cycle analysis and digital model | IEEE Conference Publication | IEEE Xplore