IP Networking Over Next-Generation Satellite Systems: International Workshop, Budapest, July 2007