‘Zootopia’ sets record opening for Disney Animation Studios