Ventilation and environmental control of underground spaces: a short review