A theoretical and experimental study on the buoyancy-driven smoke flow in a tunnel with vertical shafts