静脉石的形成是静脉血栓发生了