Using machine learning to forecast peak health care service demand in real-time during the 2022–23 winter season: A pilot in England, UK