Sale of UK pension software business