Overview of application of model-based systems engineering in integration framework of total ship computing environment