下肢静脉血栓形成诊断编码