What are the symptoms of deep vein thrombosis (DVT)?