The Roman Colosseum: Facts about the gladiatorial arena