Pension scheme asset allocation with taxation arbitrage, risk sharing and default insurance