Modelling Operations and Maintenance Strategies for Wave Energy Arrays