Mechanical prophylaxis of venous thrombosis in patients undergoing craniotomy: A randomized trial