Washington DC subway reopens after day-long shutdown