Alex Smith traded to Redskins