Georgia Institute of Technology, Atlanta, GA, USA;IBM T.J. Watson Research Center, Yorktown Heights, NY, USA;IBM T.J. Watson Research Center, Yorktown Heights, NY, USA;IBM T.J. Watson Research Center, Yorktown Heights, NY, USA;Centrum Wiskunde & Informatica, 1098 XG Amsterdam, The Netherlands