Mining and Local Development