Ecole des Mines de Nantes officially becomes IMT Atlantique