Formalization of a Nuclear Power Plant Life-Cycle Model for AI and Machine Learning Applications | Synapse