portable mine building