WrestleMania no longer being branded by number