Some important developments in biomining during the past thirty years