Juan Soto traded to Padres; Nationals get big prospect haul