Birkhoff normal forms in semi-classical inverse problems