mine construction