Role of platelets, neutrophils, and factor XII in spontaneous venous thrombosis in mice