SAP snaps up Signavio in billion-dollar deal