Supervalu appoints Wal-Mart executive as CEO