Benchmarking of model-based systems engineering tools for the performance assessment of marine energy systems