Antithrombotic strategies in children receiving long-term Berlin Heart EXCOR ventricular assist device therapy.