A validated analytical model for a cyclorotor wave energy device