Development and validation of deep vein thrombosis diagnostic model based on machine learning methods | Synapse