Machine-learning-assisted discovery of highly efficient high-entropy alloy catalysts for the oxygen reduction reaction