En números redondos, ¿cuál es el peso en toneladas del avión Antonov 225?