Welfare and Redistribution in Residential Electricity Markets with Solar Power - BizPub.ai