Citrix bought by investment funds for $13 billion