Risk Sharing and Redistribution in a Federal System with Population Mobility