World’s coal producers now planning more than 400 new mines: Research