What is the total weight of 10 buses that each weigh 12 1/3 tons?