shaq to have number retired