Experimental and numerical investigation on an optimization method of heaving buoy wave energy converter arrays based on a given target wave spectrum