England through to Euro 2024 semi-final on penalties.