F1 Miami Grand Prix: How points work if rescheduled race does not go full distance