Mine buildings