Verstappen's Spanish GP Disappointment: Tire Troubles and Strategic Choices