Fair and sustainable pay-as-you-go pension systems: Theoretical models and practical realizations