Reliability modelling of ocean current energy conversion systems through both analytical and Monte Carlo methods