Large-scale integration of optimal combinations of PV, wind and wave power into the electricity supply