Can margin traders withdraw the funds they are using?