ADP-dependent platelet activation is required for thrombus formation in mice exposed to simulated flight conditions