mine buildings