Laboratory earthquake forecasting: A machine learning competition