Microsoft kills off the enterprise social network no-one remembered it has: Yammer