The role of electronic health record developers in hospital patient sharing