UK software provider Aveva to buy SoftBank-backed OSIsoft for $5 billion