What are the differences in green mine construction among large, medium, and small-sized mines?