Low-dose warfarin prophylaxis to prevent symptomatic pulmonary embolism after total knee arthroplasty