Layout Optimization of Wave Energy Converters in a Random Sea