Contracting-out and lifetime redistribution in the UK state pension system