Crunch time in the NBA – The effectiveness of different play types in the endgame of close matches in professional basketball | Synapse