Pula Arena Croatia Roman Amphitheater, Facts