Why are more redistributive social security systems smaller? A median voter approach